“감축된 순서화된 이진 결정 다이어그램”